Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

In the past ten years, there has been growing interest in and concern about protecting the privacy of personal medical information. Insofar as medical records increasingly are stored electronically, and electronic information can be shared easily and widely, there have been legislative efforts as well as scholarly analyses calling for greater privacy protections to ensure that patients can feel safe disclosing personal information to their health-care providers. At the same time, the volume of biomedical research conducted in this country continues (...) to grow. The budget of the National Institutes of Health, for example, was $20,298 million in 2001, having more than doubled from a budget of $9,218 million 10 years before. This growing body of research includes increased efforts to use stored medical records as a source of data for health services, epidemiologic, and clinical studies. (shrink)

Constructive engagement in international business practice is defined as purpose-driven behavior in which economic contributions by the foreign investor also advance social progress in the host country. This paper distinguishes between amoral and moral social agency, and proposes a model of principled constructive engagement that describes a principled constructive engagement regime enacted in a disciplined, morally-directed manner.

In the past ten years, there has been growing interest in and concern about protecting the privacy of personal medical information. Insofar as medical records increasingly are stored electronically, and electronic information can be shared easily and widely, there have been legislative efforts as well as scholarly analyses calling for greater privacy protections to ensure that patients can feel safe disclosing personal information to their health-care providers. At the same time, the volume of biomedical research conducted in this country continues (...) to grow. The budget of the National Institutes of Health, for example, was $20,298 million in 2001, having more than doubled from a budget of $9,218 million 10 years before. This growing body of research includes increased efforts to use stored medical records as a source of data for health services, epidemiologic, and clinical studies. (shrink)

A narrative history of Oxford Movement, whereby a group of Anglican intellectuals, notably Newman, Pusey, Keble and Froude, attempted to restore to the Victorian Church of England the character of primitive Christianity. Many of the inherent principles, such as Apostolic Succession, were seen to be exemplified by the Catholic Church.

What was the background to Newman’s rectorship of the Catholic University in Dublin? In 1845 the British government proposed to establish three non-denominational colleges in Ireland; some of the Irish bishops felt that it would be possible to work out a modus vivendi with the government. A slight majority of the bishops, however, opposed these so-called “godless” colleges and voted at the Synod of Thurles in 1850, to found a Catholic University in Ireland—a country that had been repeatedly decimated by (...) poverty and oppression, and a few years earlier the potato famine (1845-48). (shrink)

Background. As the development and use of genetic tests have increased, so have concerns regarding the uses of genetic information. Genetic discrimination, the differential treatment of individuals based on real or perceived differences in their genomes, is a recently described form of discrimination. The range and significance of experiences associated with this form of discrimination are not yet well known and are investigated in this study. Methods. Individuals at-risk to develop a genetic condition and parents of children with specific genetic (...) conditions were surveyed by questionnaire for reports of genetic discrimination. A total of 27,790 questionnaires were sent out by mail. Of 917 responses received, 206 were followed up with telephone interviews. The responses were analyzed regarding circumstances of the alleged discrimination, the institutions involved, issues relating to the redress of grievances, and strategies to avoid discrimination. (shrink)

This paper’s purpose is to provide a foundation for viewing critical thinking as both a maximal and typical performance construct. While maximal performance measures the best a person can do, typical performance measures what the person is most likely to do. An overview of maximal performance, including its history and limitations, will be given. The role of maximal and typical performance in cognitive development will be demonstrated through an exploration of the relationships between behavior, the environment, personality, crystallized intelligence, and (...) fluid intelligence. Furthermore, these topics will be related to the development and use of critical thinking skills. Discussion will conclude with directions for future research. (shrink)

This article argues that a commitment to individual freedom plays a crucial role in William Godwin's utilitarian political theory. In his Enquiry Concerning Political Justice, Godwin argues that morality is grounded not in rights but rather in duties and that each individual has a constant obligation to act in the way most conducive to the general good. Yet, despite this apparently strict act-utilitarianism, he does defend one key individual entitlement: the right to a sphere of discretion in which agents can (...) exercise their own private judgment, a right that directly informs Godwin's critique of various social and political institutions. I argue that though his defence of individual freedom is an ultimately utilitarian one, its value is not contingent on consequentialist calculations. (shrink)

This paper examines the conception of disinterested love, pur amour, advocated by the Archbishop of Cambrai, Francois Fenelon, and its role in the thought of Jean-Jacques Rousseau andWilliam Godwin.We argue that for Fenelon, Rousseau, and Godwin, virtue is, or follows directly from, a form of love stripped of self-interest. Hence, virtuous activity is performed without either hope of reward or fear of punishment and sometimes with no reference to the self at all. At the same time, this disinterested love re-identifies (...) the self with something beyond, whether this is friends, God, the common weal, or utility. We demonstrate that Rousseau and Godwin adopted a specifically Fenelonian conception of disinterested love by considering the particular use they make of Fenelon's works, and, indeed, their references to him as a person. Interestingly, the logic of disinterestedness propels quite disparate thoughts about political life: for Fenelon the virtue is preeminently religious, and lawgivers and monarchs should exemplify and perpetuate pur amour; Rousseau's version is reconceptualised psychologically and reoriented such that it demands democratic politics, while for Godwin disinterestedness becomes a personal moral issue, actually requiring the dissolution of politics and government. (shrink)